New multiplexer-based switching circuits synthesis methods

The work deals with the problem of methods of synthesis of switching circuits with multiplexers and it is mainly focused on optimization and reduction of these circuits. It analyses and describes the state of art in optimization and reduction methods of multiplexer trees and also contains description of the justification for the use of multiplexers in the switching circuits. We design a novel method of decision diagrams based on binary decision diagrams (BDD) which uses residual variable. Proposed model can be easily transformed to the multiplexer tree. A new type of binary decision diagram allows anyone to work without using the lowest and most numerous level of nodes and through the preservation of the necessary properties of binary decision diagram allows its widespread use for a number of already existing, optimization methods as it is shown in performed experiments. New model was experimentally validated on the benchmark circuits with reference to the saving in the number of nodes in a model of what constitutes a major contribution to a new type of binary decision diagrams in the switching circuits design with multiplexers. Other benefits of our work is a method for reducing multiplexerbased circuit with dynamic propagation path control.